Logical Instructions and Programs